Blar i UiS Brage på forfatter "Gundersen, Daniel"

Viser treff 1-2 av 2

    • Characterizing Service Availability in the Tampnet Offshore LTE Network 

      Gundersen, Daniel; Jørgensen, Kaja (Bachelor thesis, 2021)
      This paper is our Bachelor's thesis as a part of the study program "Datateknologi" at the University of Stavanger, written in the Spring semester of 2021. This thesis has been written in cooperation with Tampnet AS, a ...

    • Go-MC - An implementation level model checker for Go 

      Gundersen, Daniel (Master thesis, 2023)
      Implementation level model checkers haven proven a good tool for identifying bugs in implementations of distributed algorithms. In recent years many new model checkers have been developed. These often include new state ...